-
1 metamathematical argument
Большой англо-русский и русско-английский словарь > metamathematical argument
-
2 metamathematical argument
Математика: метаматематическое доказательствоУниверсальный англо-русский словарь > metamathematical argument
-
3 metamathematical argument
English-Russian scientific dictionary > metamathematical argument
-
4 metamathematical
метаматематический - metamathematical argument - metamathematical consequence - metamathematical expression - metamathematical ideal - metamathematical notion - metamathematical operation - metamathematical polynomial - metamathematical predicate - metamathematical statement - metamathematical theor - metamathematical theorem - metamathematical variable МетаматематическоеБольшой англо-русский и русско-английский словарь > metamathematical
-
5 metamathematical
-
6 argument
1) аргумент, довод3) доказательство, аргументация, (рас)суждение4) обсуждение, дискуссия, спор5) матем. независимая переменная, аргумент• -
7 метаматематическое доказательство
Большой англо-русский и русско-английский словарь > метаматематическое доказательство
-
8 operation
1) действие2) операция3) оперирование4) процесс, ход5) работа, функционирование6) срабатывание7) управление8) эксплуатация•- hereditarily recursive operationoperation under VFR — авиац. визуальное самолётовождение
-
9 predicate
логика1) предикат, сказуемое || предикатный2) утверждение || утверждать•
См. также в других словарях:
Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… … Wikipedia
History of logic — Philosophy ( … Wikipedia
mathematics, philosophy of — Branch of philosophy concerned with the epistemology and ontology of mathematics. Early in the 20th century, three main schools of thought called logicism, formalism, and intuitionism arose to account for and resolve the crisis in the foundations … Universalium
mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium
Philosophy of mathematics — The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of … Wikipedia
Metamathematics — is the study of mathematics itself using mathematical methods. This study produces metatheories, which are mathematical theories about other mathematical theories. Metamathematical metatheorems about mathematics itself were originally… … Wikipedia
T-norm fuzzy logics — are a family of non classical logics, informally delimited by having a semantics which takes the real unit interval [0, 1] for the system of truth values and functions called t norms for permissible interpretations of conjunction. They are mainly … Wikipedia
Brouwer-Hilbert controversy — A foundational controversy in twentieth century history of mathematics opposed L. E. J. Brouwer, a supporter of intuitionism, and David Hilbert, the founder of formalism.BackgroundThe background for the controversy was set with David Hilbert s… … Wikipedia
Church–Turing thesis — Church s thesis redirects here. For the constructive mathematics assertion, see Church s thesis (constructive mathematics). In computability theory, the Church–Turing thesis (also known as the Church–Turing conjecture, Church s thesis, Church s… … Wikipedia
History of the Church-Turing thesis — This article is an extension of the history of the Church Turing thesis.The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia
History of the Church–Turing thesis — This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia